COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	STANFORD ARTIFICIAL INTELLIGENCE LABORATORY
C00013 ENDMK
C⊗;
STANFORD ARTIFICIAL INTELLIGENCE LABORATORY

Director:  John McCarthy
Associate Director & Executive Officer:  Lester Earnest
Associate Director:  Jerome Feldman

Research  group  leaders:   Thomas  Binford,  Kenneth  Colby,  Jerome
Feldman,  Cordell  Green, John McCarthy, David Luckham, Robin Milner,
Lynn Quam, Arthur Samuel, Roger Schank, Yorick Wilks.

The Artificial Intelligence Laboratory is located in the D. C.  Power
Building,  which is about 10 minutes away from campus near Felt Lake.
Currently, there are 120 faculty, staff, and graduate students  doing
research  in  artificial intelligence and related fields.  Laboratory
facilities include a timesharing system based  on  PDP-10  and  PDP-6
computers with 60 display terminals attached.

The  largest  project  in  the  laboratory  is  devoted to "Hand-Eye"
systems, in which the computer attempts to perceive three-dimensional
objects  from  digitized  television  images  and to manipulate these
objects  using  computer-controlled   mechanical   arms.    Potential
application  areas  include  industrial  assembly tasks and planetary
exploration missions.

Another   vision-oriented   project   is    developing    interactive
photo-interpretation  systems.   Their  techniques  are being used to
examine photographs of Mars returned by the Mariner Satellites,  with
the  aim  of finding features that have changed between observations.
A number of interesting features have been found.

Work on mathematical theory  of  computation  and  automatic  theorem
proving  is  developing  a  theoretical basis for making mathematical
proofs of what certain computer programs do or don't do.  In the long
run,  it is hoped that our imperfect program debugging techniques can
be replaced by rigorous proofs.

A  psychiatrically-oriented   project   has   developed   interactive
techniques  for  treating  autistic  children.  A related project has
developed a conversational program that models a paranoid individual.

There are small projects on computer  recognition  of  human  speech,
machine  translation  (currently,  English  to  French), and symbolic
computation.  We are also providing some computer support to  members
of  the  Stanford  Music  Department,  for work on computer-generated
music.

Considerable  effort  has  gone  into  the  development  of   support
facilities.   Current  projects  include  improvements  to  the  SAIL
language (a dialect of ALGOL  60  with  certain  advanced  features),
development  of the LISP 70 language, and the design and construction
of a fast new computer, called FOONLY.

Support  for  various  activities of the Laboratory has come from the
Advanced Research Projects  Agency  of  the  Department  of  Defense,
National  Science  Foundation,  National Institutes of Mental Health,
and National Aeronautics and Space Administration.

                           Recent Articles

1.  J. M. Cadiou and Z.  Manna,  "Recursive  Definitions  of  Partial
Functions  and  their Computations", ACM SIGPLAN Notices, Vol. 7, No.
1, January 1972.

2.  K. M. Colby, S. Weber, F. D. Hilf, "Artificial Paranoia", J. Art.
Int., Vol. 2, No. 1, 1971.

3.    G.   Falk,   "Interpretation   of  Imperfect  Line  Data  as  a
Three-Dimensional Scene", J. Artificial Intelligence, Vol. 3, No.  2,
1972.

4.   S.  J. Garland and D. C. Luckham, "Translating Recursive Schemes
into Program Schemes", ACM SIGPLAN Notices, Vol. 7,  No.  1,  January
1972.

5.   J.  Gips,  "A New Reversible Figure", Perceptual & Motor Skills,
34, 306, 1972.

6.   R. L. London, "Correctness of a Compiler for a LISP Subset", ACM
SIGPLAN Notices, Vol. 7, No. 1, January 1972.

7.  Z. Manna, S. Ness,  and  J.  Vuillemin,  "Inductive  Methods  for
Proving  Properties of Programs", ACM SIGPLAN Notices, Vol. 7, No. 4,
January 1972.

8.  Z. Manna and J. Vuillemin, "Fixpoint Approach to  the  Theory  of
Computation", Comm. ACM, July 1972.

9.   R. Milner, "Implementatiion and Application of Scott's Logic for
Computable Functions", ACM SIGPLAN NOTICES, Vol. 7,  No.  1,  January
1972.

10.  James  A.  Moorer,  "Music and Computer Composition", Comm. ACM,
January 1972.

11. Leland Smith, "SCORE -- A Musician's Approach to Computer Music",
J. Audio Eng. Soc., Jan./Feb. 1972.

                           Recent Reports

AIM-151, Ralph L. London, CORRECTNESS OF TWO  COMPILERS  FOR  A  LISP
	SUBSET, October 1971, 41 pages.

AIM-152, A.W. Biermann, ON THE  INFERENCE  OF  TURING  MACHINES  FROM
	SAMPLE COMPUTATIONS, October 1971, 31 pages.

AIM-153,  Patrick J. Hayes, THE FRAME PROBLEM AND RELATED PROBLEMS IN
	ARTIFICIAL INTELLIGENCE, November 1971, 18 pages.

AIM-154,  Zohar  Manna,  Stephen  Ness  and Jean Vuillemin, INDUCTIVE
	METHODS  FOR  PROVING  PROPERTIES OF PROGRAMS, November 1971,
	24 pages.

AIM-155, Jonathan Leonard Ryder, HEURISTIC ANALYSIS OF LARGE TREES AS
	GENERATED IN THE GAME OF GO, December 1971, 300 pages.

AIM-156,  Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, and
	Helena C. Kraemer,  A  RESEMBLANCE TEST  FOR  THE  VALIDATION
	OF   A   COMPUTER   SIMULATION   OF   PARANOID     PROCESSES,
	November 1971, 29 pages.

AIM-157, Yorick Wilks, ONE SMALL HEAD----SOME REMARKS ON THE  USE  OF
	`MODEL' IN LINGUISTICS, December 1971, 17 pages.

AIM-158, Zohar Manna, Ashok Chandra, PROGRAM SCHEMAS  WITH  EQUALITY,
	December 1971, 22 pages.

AIM-159,  J.A.  Feldman  and  Paul  C.  Shields, TOTAL COMPLEXITY AND
	INFERENCE OF BEST PROGRAMS, April 1972.

AIM-160,  J. Feldman, AUTOMATIC PROGRAMMING, February 1972, 20 pages.

AIM-161, Y. Wilks, AN ARTIFICIAL  INTELLIGENCE  APPROACH  TO  MACHINE
	TRANSLATION, February 1972, 44 pages.

AIM-162, Roger Schank, Neil Goldman, Chuck  Reiger,  Chris  Reisbeck,
	PRIMITIVE    CONCEPTS    UNDERLYING    VERBS    OF   THOUGHT,
	April 1972, 102  pages.

AIM-163, J.M. Cadiou, RECURSIVE DEFINITIONS OF PARTIAL FUNCTIONS  AND
	THEIR COMPUTATIONS, April 1972, 160 pages.

AIM-164,  Zohar  Manna  and  Jean  Vuilemin, FIXPOINT APPROACH TO THE
	THEORY OF COMPUTATION, April 1972, 29 pages. 

AIM-165, D,A, Bochvar, TWO  PAPERS  ON  PARTIAL  PREDICATE  CALCULUS,
	April 1972, 50 pages.

AIM 166, Lynn H. Quam, Sidney Liebes, Jr., Robert B.  Tucker,  Marsha
	Jo  Hannah,  Botond G. Eross,   COMPUTER  INTERACTIVE PICTURE
	PROCESSING, April 1972, 40 pages.

AIM-167,  Ashok  Chandra,  EFFICIENT  COMPILATION OF LINEAR RECURSIVE
	PROGRAMS, April 1972.

AIM-168,  Shigeru Igarashi, ADMISSIBILITY OF FIXED-POINT INDUCTION IN
	FIRST-ORDER LOGIC OF TYPED THEORIES, May 1972.

AIM-169, Robin Milner, LOGIC FOR COMPUTABLE  FUNCTIONS.   DESCRIPTION
	OF A MACHINE IMPLEMENTATION, May 1972, 36 pages.

AIM-170, Yorick Wilks,  LAKOFF  ON  LINGUISTICS  AND  NATURAL  LOGIC,
	June 1972.

AIM-171, Roger Schank, ADVERBS AND BELIEF, June 1972.